منابع مشابه
Private Names in Non-Commutative Logic
We present an expressive but decidable first-order system (named MAV1) defined by using the calculus of structures, a generalisation of the sequent calculus. In addition to first-order universal and existential quantifiers the system incorporates a pair of nominal quantifiers called ‘new’ and ‘wen’, distinct from the self-dual Gabbay-Pitts and Miller-Tiu nominal quantifiers. The novelty of thes...
متن کاملHiding Names: Private Authentication in the Applied Pi Calculus
We present the analysis of a protocol for private authentication in the applied pi calculus. We treat authenticity and secrecy properties of the protocol. Although such properties are fairly standard, their formulation in the applied pi calculus makes an original use of process equivalences. In addition, we treat identity-protection properties, which are a delicate concern in several recent pro...
متن کاملfictional names
fictional names have been one of the most important and serious topics in the contemporary philosophy of language and metaphysics.several questions such as “do fictional names refer to any objects?” “are fictional characters existent objects?” have resulted in a considerable literature of philosophy. in this essay, we will follow two objectives. first we will describe and elaborate the ideas ...
متن کاملgeographical names
a place-name or a toponym is a word used to indicate, denote or identify a geographic locality. place-names are formed in the course of history of a region and are affected by various linguistic, social, political and cultural events. toponymy is the taxonomic study of place-names, based on etymological, historical and geographical information. this paper first defines toponym and topnymy and i...
متن کاملNames of
This project developed new results in the topology and foundations of quantum algorithms. It made major developments in the program for topological quantum field computation, including the design of substantially simplified lattice models with topological phases, and new insights into the universality classes of such models. Lattice gas simulations of various classical and quantum systems were ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Crítica (México D. F. En línea)
سال: 1983
ISSN: 1870-4905,0011-1503
DOI: 10.22201/iifs.18704905e.1983.515